% release version; this is used to define the
% \version macro
\release{1.0}
